Optimizing compiler - PDFSEARCH.IO - Document Search Engine

Optimizing compiler
Results: 91

#	Item
71	Published in the Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, Vancouver 2000, pages 83–95 Translation Validation for an Optimizing Compiler George C. Necula University o Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2010-10-29 12:59:25 Compiler construction Compiler optimizations Program analysis Procedural programming languages Compiler Static single assignment form GNU Compiler Collection Algorithm Register allocation Software Computing Programming language implementation
72	Improving the Performance of MPI Derived Datatypes by Optimizing Memory-Access Cost Surendra Byna† † William Gropp‡ Add to Reading List Source URL: www.mcs.anl.gov Language: English - Date: 2003-10-22 17:22:49 Compiler optimizations Central processing unit Computer memory Parallel computing Application programming interfaces Message Passing Interface CPU cache Automatically Tuned Linear Algebra Software MPICH Computing Computer programming Software engineering
73	Preserving high-level semantics of parallel programming annotations through the compilation flow of optimizing compilers Antoniu Pop 1 and Albert Cohen 2 1 Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2010-07-28 10:49:00 Parallel computing Compiler construction Programming language implementation Compilers Procedural programming languages Compiler OpenMP GNU Compiler Collection Static single assignment form Computing Software Computer programming
74	TRANSFORM your code Intel® Parallel Studio XE 2015 Launches Optimizing for ForPerformance Add to Reading List Source URL: www.greymatter.com Language: English - Date: 2015-03-10 08:16:09 Compiler optimizations Profilers Parallel computing Programming language implementation Loop optimization Vectorization VTune SIMD OpenCL Computing Software engineering Computer programming
75	IEEE TRANSACTIONS ON COMPUTERS, VOL. 47, NO. 12, DECEMBER[removed]Optimizing the Instruction Cache Performance of the Operating System Add to Reading List Source URL: iacoma.cs.uiuc.edu Language: English - Date: 2005-02-24 14:03:13 Computer memory Compiler optimizations Software optimization Programming language implementation CPU cache Central processing unit Cache Inline expansion Assembly language Computing Software engineering Computer programming
76	Optimizing I/O for Big Array Analytics∗ Yi Zhang Jun Yang Duke University Add to Reading List Source URL: vldb.org Language: English - Date: 2012-04-26 08:00:37 Software engineering Compilers Assembly languages CDC software Data dependency Mathematical optimization Entailment Parallel computing Rope Logic Computing Compiler optimizations
77	CompCert Formally Verified Optimizing C Compiler CompCert is an optimizing C compiler which is formally verified, using machine-assisted mathematical proofs, to guarantee the absence of compiler bugs. The code it produce Add to Reading List Source URL: www.absint.com Language: English - Date: 2015-03-16 07:37:07 Functional languages Programming language implementation Compcert Logic in computer science Xavier Leroy Compiler GNU Compiler Collection Software Computing Compilers
78	1 ZØ: An Optimizing Distributing Zero-Knowledge Compiler Matt Fredrikson Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2014-09-30 22:56:39 Infrastructure optimization Privacy Ethics Network performance Internet privacy
79	2. Optimizing subroutines in assembly language An optimization guide for x86 platforms By Agner Fog. Technical University of Denmark. Copyright © [removed]Last updated[removed]. Add to Reading List Source URL: agner.org Language: English - Date: 2014-02-19 04:31:31 Assembly languages X86 architecture Programming language implementation Procedural programming languages Subroutines X86 assembly language X86 Compiler Inline assembler Computing Software engineering Computer programming
80	Published in ECOOP ‘91 proceedings, Springer Verlag Lecture Notes in Computer Science 512, July, [removed]Optimizing Dynamically-Typed Object-Oriented Languages WithPolymorphic Inline Caches Urs Hölzle Add to Reading List Source URL: www.cs.ucsb.edu Language: English - Date: 1997-05-21 13:38:06 Type theory Compiler optimizations Programming language implementation Cross-platform software Object-oriented programming Inline caching Smalltalk Inline expansion Just-in-time compilation Software engineering Computing Computer programming